Precise numerical computation
نویسندگان
چکیده
Arithmetic systems such as those based on IEEE standards currently make no attempt to track the propagation of errors. However a formal error analysis can be complicated and is often confined to the realm of experts in numerical analysis. In recent years there has been a resurgence in interest in automated methods for accurately tracking the propagation of errors. In this article we will describe a model known as significance arithmetic. We will give details of the implementation in Mathematica along with several examples that illustrate the design goals and differences over conventional fixed precision floating point systems.
منابع مشابه
Ray-traced troposphere slant delays for precise point positioning
Precise satellite orbits and clock information for global navigation satellite systems (GNSS) allow zerodifference position solutions, also known as precise point positioning (PPP) to be calculated. In recent years numerical weather models (NWM) have undergone an improvement of spatial and temporal resolution. This makes them not only useful for the computation of mapping functions but also all...
متن کاملA precise boundary element method for macromolecular transport properties
A very precise boundary element numerical solution of the exact formulation of the hydrodynamic resistance problem with stick boundary conditions is presented. BEST, the Fortran 77 program developed for this purpose, computes the full transport tensors in the center of resistance or the center of diffusion for an arbitrarily shaped rigid body, including rotation-translation coupling. The input ...
متن کاملComputation of Electrostatic and Gravitational Sag in MultiWire Chambers
A numerical method of determining the wire sag in a multiwire proportional chamber used in RICH [1] by solving the second order differential equation which governs the wire stability has been presented. The three point Finite Difference Method (FDM) has generated a tridiagonal matrix equation relating the deflection of wire segments to the force acting on it. The precise estimates of electrosta...
متن کاملA Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
We present a numerical method to prove certain statements about the global dynamics of infinite dimensional maps. The method combines set-oriented numerical tools for the computation of invariant sets and isolating neighborhoods, the Conley index theory and analytic considerations. It not only allows for the detection of a certain dynamical behaviour, but also for a precise computation of the c...
متن کاملA topological method for rigorously computing periodic orbits using Fourier modes
We present a technique for the rigorous computation of periodic orbits in certain ordinary differential equations. The method combines set oriented numerical techniques for the computation of invariant sets in dynamical systems with topological index arguments. It not only allows for the proof of existence of periodic orbits but also for a precise (and rigorous) approximation of these. As an ex...
متن کاملOn the efficient computation of high-order derivatives for implicitly defined functions
Scientific studies often require the precise calculation of derivatives. In many cases an analytical calculation is not feasible and one resorts to evaluating derivatives numerically. These are error-prone, especially for higher-order derivatives. A technique based on algorithmic differentiation is presented which allows for a precise calculation of higher-order derivatives. The method can be w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Algebr. Program.
دوره 64 شماره
صفحات -
تاریخ انتشار 2005